<?php
class default_core_Menu_Adapter extends core_Menu_Adapter
{}